This paper examines the Kalam Cosmological Argument, as expounded by,William Lane Craig, insofar as it pertains to the premise that it is metaphysically impossible for an infinite set of real entities to exist. Craig contends that this premise is justified because the application of the Cantorian theory to the real world generates counterintuitive absurdities. This paper shows that Craig’s contention fails because it is possible to apply Cantorian theory to the real world without thereby generating counterintuitive absurdities, provided one avoids (...) positing that an infinite set of real entities is technically a set within the meaning of such theory. Accordingly, this paper proposes an alternative version of the application of Cantorian theory to the real world thereby replacing the standard version of such application so thoroughly criticized by Craig. (shrink)

This article examines Nowacki’s novel version of the kalam cosmological argument (N-KCA), and finds it seriously flawed. The N-KCA purportedly shows the factual impossibility of a denumerably infinite set of coexisting concrete entities; and that there would be such a set were an infinite temporal series of events to obtain because each existing substance bears its own necessarily permanent temporal marks and those of its ancestors. Nowacki, professing the A-theory of time, nevertheless maintains that truth-makers of past-event propositions are not (...) tensed facts, according to some correspondence theory of truth, but rather the temporal marks borne by existing substances. (shrink)

The recent publication by Wylie et al. is reviewed, demonstrating that the p53 protein regulates the movement of transposons. While this work presents genetic evidence for a piRNA‐mediated p53 interaction with transposons in Drosophila and zebrafish, it is herein placed in the context of a decade or so of additional work that demonstrated a role for p53 in regulating transposons and other repetitive elements. The line of thought in those studies began with the observation that transposons damage DNA and p53 (...) regulates DNA damage. The presence of transposon movement can increase the rate of evolution in the germ line and alter genes involved in signal transduction pathways. Transposition can also play an important role in cancers where the p53 gene function is often mutated. This is particularly interesting as recent work has shown that de‐repression of repetitive elements in cancer has important consequences for the immune system and tumor microenvironment. (shrink)

For more than sixty years, surgeons have used bioethical strategies to promote patient self‐determination, many of these now collectively described as “informed consent.” Yet the core framework—understanding, risks, benefits, and alternatives—fails to support patients in deliberation about treatment. We find that surgeons translate this framework into an overly complicated technical explanation of disease and treatment and an overly simplified narrative that surgery will “fix” the problem. They omit critical information about the goals and downsides of surgery and present untenable options (...) as a matter of patient choice. We propose a novel framework called “better conversations.” Herein, surgeons provide context about clinical norms, establish the goals of surgery, and comprehensively delineate the downsides of surgery to generate a deliberative space for patients to consider whether surgery is right for them. This paradigm shift meets the standards for informed consent, supports deliberation, and allows patients to anticipate and prepare for the experience of treatment. (shrink)

In this paper we describe and explore a management tool called the Caux Round Table Self-Assessment and Improvement Process (SAIP). Based upon the Caux Round Table Principles for Business — a stakeholder-based, transcultural statement of business values — the SAIP assists executives with the task of shaping their firm’s conscience through an organizational self-appraisal process. This process is modeled after the self-assessment methodology pioneered by the Malcolm Baldrige National Quality Award Program. After briefly describing the SAIP, we address three topics. (...) First, we examine similarities and differences between the Baldrige approach to corporate self-assessment and the self-assessment process utilized within the SAIP. Second, we report initial findings from two beta tests of the tool. These illustrate both the SAIP’s ability to help organizations strengthen their commitment to ethically responsible conduct, and some of the tool’s limitations. Third, we briefly analyze various dimensions of the business scandals of 2001–2002 (Enron, WorldCom, Tyco, etc.) in light of the ethical requirements articulated with the SAIP. This analysis suggests that the SAIP can help link the current concerns of stakeholders — for example, investors and the general public — to organizational practice, by providing companies with a practical way to incorporate critical lessons from these unfortunate events. (shrink)

Inspired from Buchholz' ordinal analysis of ID1 and Beckmann's analysis of the simple typed λ-calculus we classify the derivation lengths for Gödel's system T in the λ-formulation.

The Pessimistic Induction over the history of science argues that because most past theories considered empirically successful in their time turn out to be not even approximately true, most present ones probably aren’t approximately true either. But why did past scientists accept those incorrect theories? Kyle Stanford’s ‘Problem of Unconceived Alternatives’ is one answer to that question: scientists are bad at exhausting the space of plausible hypotheses to explain the evidence available to them. Here, I offer another answer, which I (...) call the ‘Problem of Misleading Evidence.’ I argue that this proposal is, in important respects, superior to Stanford’s. (shrink)

Let T be Gödel's system of primitive recursive functionals of finite type in a combinatory logic formulation. Let $T^{\star}$ be the subsystem of T in which the iterator and recursor constants are permitted only when immediately applied to type 0 arguments. By a Howard-Schütte-style argument the $T^{\star}$ -derivation lengths are classified in terms of an iterated exponential function. As a consequence a constructive strong normalization proof for $T^{\star}$ is obtained. Another consequence is that every $T^{\star}$ -representable number-theoretic function is elementary (...) recursive. Furthermore, it is shown that, conversely, every elementary recursive function is representable in $T^{\star}$ .The expressive weakness of $T^{\star}$ compared to the full system T can be explained as follows: In contrast to $T$ , computation steps in $T^{\star}$ never increase the nesting-depth of ${\mathcal I}_\rho$ and ${\mathcal R}_\rho$ at recursion positions. (shrink)

In this paper I argue against the view, defended by some philosophers, that it is part of the meaning of mental that being mental is incompatible with being physical. I call this outlook metalinguistic dualism, and I distinguish it from metaphysical theories of the mind-body relation such as Cartesian dualism. I argue that MLD is mistaken, but I don't try to defend the contrary view that mentalistic terms can be definitionally reduced to nonmental ones. After criticizing arguments by certain philosophers (...) which purport to establish MLD, I formulate a criterion for a phenomenon's being mental. I then show that this criterion is neutral between monistic and dualistic theories of the mind-body relation. Since if MLD were true it should be impossible to construct such a criterion, I conclude that it is false. The significance of my paper is that if I am right then I remove one important type of objection to aposteriori, noneliminative forms of the identity theory of mind, namely that such theories ought to be rejected merely on the basis of semantical considerations about the word mental. Beyond that, I believe that my criterion of mental phenomena correctly captures our intuitions about the nature of the distinction between mental and nonmental phenomena. (shrink)

The main purpose of this paper is to define and study a particular variety of Montague-Scott neighborhood semantics for modal propositional logic. We call this variety the first-order neighborhood semantics because it consists of the neighborhood frames whose neighborhood operations are, in a certain sense, first-order definable. The paper consists of two parts. In Part I we begin by presenting a family of modal systems. We recall the Montague-Scott semantics and apply it to some of our systems that have hitherto (...) be uncharacterized. Then, we define the notion of a first-order indefinite semantics, along with the more specific notion of a first-order uniform semantics, the latter containing as special cases the possible world semantics of Kripke. In Part II we prove consistency and completeness for a broad range of the systems considered, with respect to the first-order indefinite semantics, and for a selected list of systems, with respect to the first-order uniform semantics. The completeness proofs are algebraic in character and make essential use of the finite model property. A by-product of our investigations is a result relating provability in S-systems and provability in T-systems, which generalizes a known theorem relating provability in the systems S 2° and C 2. (shrink)

Psychotherapy and psychoanalysis don't always work. Inevitably, a therapy or analysis may fail to alleviate the suffering of the patient. The reasons why this occurs are as manifold as the patients and analysts themselves, and oftentimes are a source of frustration and vexation to clinicians, who aren't always eager to discuss them. Taking the challenge head-on, Arnold Goldberg proposes to demystify failure in an effort to determine its essential meaning before determining its causes. Utilizing multiple vignettes of failed cases, (...) he offers a deconstruction and a subsequent taxonomy of failure, delineating cases that go bad after six months from cases that never get off the ground, mismatches from impasses, failures of empathy from failures of inattention. Commonalities in the experience of failure – conceived as less a misapplication of technique than consequences of a co-constructed yet fraught therapeutic relationship – begin to emerge for scrutiny. (shrink)

W.V.O. Quine has famously objected that (1) properties are philosophically suspect because (2) there is no entity without identity and (3) the synonymy criterion for property identity won't do because there's no such concept as synonymy. (2) and (3) may or may not be right but do not prove (1). I reply that Leiniz's Law handles property identity, as it does for everything else, then respond to a variety of objections and confusions.

Here I want to examine two different ways of viewing/reading Black Panther. I will call the first reading the Standard Morality Reading (SMR). I will call the second reading the Liberation Morality Reading (LMR). I argue that these two readings, and the forms of morality that influence them, are in tension with each other throughout the movie. They also produce a tension or moral struggle in King T’Challa and the citizens of Wakanda in general.

While written by a prominent and active scientist, this book is based on personal experience and biblical theology. It doesn't try to derive God s existence from science and it's critical of scientific inferences on the notion of God (Natural Theology). Cosmic fine-tuning and other coincidences are no proof of God, but are amazing, astounding and will never be fully explained. Amazement is the appropriate emotional perception of reality. The objective world is not a matter of course and may well (...) not exist at all; thus reality, at times, is experienced to be very special. Human life, the beauty of nature, the habitability of planet Earth can be considered undeserved gifts. In the light of these gifts, the universe is metaphorically interpreted and existentially believed as a divine Creation. Science cannot create such faith but can foster it. Is God necessary to explain the universe? Is the idea of a Creator excluded by modern science? Why continue speaking of a Creator and to believe (trust and hope) in His continuing creation when God cannot be demonstrated in scientific data? Arnold Benz, a renowned astrophysicist and Christian, insists that human perception reaches further than science and demonstrates this in various examples, personal, biblical, and literary.". (shrink)

The theories Si1 and Ti1 are the analogues of Buss' relativized bounded arithmetic theories in the language where every term is bounded by a polynomial, and thus all definable functions grow linearly in length. For every i, a Σbi+1-formula TOPi, which expresses a form of the total ordering principle, is exhibited that is provable in Si+11 , but unprovable in Ti1. This is in contrast with the classical situation, where Si+12 is conservative over Ti2 w. r. t. Σbi+1-sentences. The independence (...) results are proved by translations into propositional logic, and using lower bounds for corresponding propositional proof systems. (shrink)

We define and study a new restricted consistency notion RCon ∗ for bounded arithmetic theories T 2 j . It is the strongest ∀ Π 1 b -statement over S 2 1 provable in T 2 j , similar to Con in Krajíček and Pudlák, 29) or RCon in Krajı́ček and Takeuti 107). The advantage of our notion over the others is that RCon ∗ can directly be used to construct models of T 2 j . We apply this by (...) proving preservation theorems for theories of bounded arithmetic of the following well-known kind: The ∀ Π 1 b -separation of bounded arithmetic theories S 2 i from T 2 j is equivalent to the existence of a model of S 2 i which does not have a Δ 0 b -elementary extension to a model of T 2 j . More specific, let M ⊨ Ω 1 nst denote that there is a nonstandard element c in M such that the function n ↦ 2 log c is total in M . Let BLΣ 1 b be the bounded collection schema for Σ 1 b -formulas. We obtain the following preservation results: the ∀ Π 1 b -separation of S 2 i from T 2 j is equivalent to the existence of 1. a model of S 2 i +Ω 1 nst which is 1 b -closed w.r.t. T 2 j , 2. a countable model of S 2 i + BLΣ 1 b without weak end extensions to models of T 2 j. (shrink)

As G. A. Cohen’s camping trip argument shows, community is an important value. But is there anything particularly socialist about it? Critics suggest not. Jason Brennan argues that we don’t need socialist institutions to secure community; capitalist ones will do just fine. Louis-Philippe Hodgson argues, in a similar spirit, that we don’t need explicitly socialist principles to secure community; standard-issue liberal egalitarian ones (like Rawls’s) suffice. But these critics are mistaken. Pace Brennan, I show that capitalism inevitably runs roughshod over (...) community. Pace Hodgson, I show that Rawls’s justice as fairness cannot, absent explicitly socialist supplementation, adequately protect community. In sum, I show that advocates of community must also, and for that reason, be advocates for distinctively socialist principles and institutions. Or, in a slogan: no community without socialism. (shrink)

Why Don't You Just Talk to Him? looks at the broad political contexts in which violence, specifically domestic violence, occurs. Kathleen Arnold argues that liberal and Enlightenment notions of the social contract, rationality and egalitarianism -- the ideas that constitute norms of good citizenship -- have an inextricable relationship to violence. According to this dynamic, targets of abuse are not rational, make bad choices, are unable to negotiate with their abusers, or otherwise violate norms of the social contract; they (...) are, thus, second-class citizens. In fact, as Arnold shows, drawing from Nietzsche and Foucault's theories of power and arguing against much of the standard policy literature on domestic violence, the very mechanisms that purportedly help targets of domestic abuse actually work to compound the problem by exacerbating the power differences between the abuser and the abused. The book argues that a key to understanding how to prevent domestic violence is seeing it as a political rather than a personal issue, with political consequences. It seeks to challenge Enlightenment ideas about intimacy that conceive of personal relationships as mutual, equal and contractual. Put another way, it challenges policy ideas that suggest that targets of abuse can simply choose to leave abusive relationships without other personal or economic consequences, or that there is a clear and consistent level of help once they make the choice to leave. Asking "Why Don't You Just Talk to Him?" is in reality a suggestion riven with contradictions and false choices. Arnold further explores these issues by looking at two key asylum cases that highlight contradictions within the government's treatment of foreigners and that of long-term residents. These cases expose problematic assumptions in the approach to domestic violence more generally. Exposing major injustices from the point of view of domestic violence targets, this book promises to generate further debate, if not consensus. (shrink)

The paper proposes a morphological approach towards a philosophy of design. Beginning with the question: what is “Gestalt”? it argues that there is a crucial difference between the concepts of “Gestalt” and “form”. I will proceed in three steps, beginning with the Aristotelian doctrine of the four causes and its implications for the concept of nature. Secondly I will briefly discuss Goethe’s notion of “Gestalt” within his “Morphologie” and how it was used among his successors (including the “Bauhaus”), which leads (...) straight into contemporary debates about computational design. Finally, and in conclusion, I introduce a morpho-logical “Gestalt”-thinking as a distinct and original kind of design-philosophy, beyond common design-history, or mere design-thinking. (shrink)